Boolean Games Revisited
نویسندگان
چکیده
Game theory is a widely used formal model for studying strategical interactions between agents. Boolean games [7] are two players, zero-sum static games where player’s utility functions are binary and described by a single propositional formula, and the strategies available to a player consist of truth assignments to each of a given set of propositional variables (the variables controlled by the player.) We generalize the framework to n-players games which are not necessarily zero-sum. We give simple characterizations of Nash equilibria and dominated strategies, and investigate the computational complexity of the related problems.
منابع مشابه
Towards tractable Boolean games
Boolean games are a compact and expressive class of games, based on propositional logic. However, Boolean games are computationally complex: checking for the existence of pure Nash equilibria in Boolean games is Σp2-complete, and it is co-NP-complete to check whether a given outcome for a Boolean game is a pure Nash equilibrium. In this paper, we consider two possible avenues to tractability in...
متن کاملBoolean Games
In this paper Boolean games are introduced as a class of two-player zero-sum games along with a number of operations on them. We argue that Boolean games can be interpreted as modelling the information structures of two-person zero-sum games. As such they comprise games of imperfect information. The algebra of Boolean games modulo strategic equivalence is then proven to be isomorphic to the Lin...
متن کاملIterated Boolean Games
Iterated games are well-known in the game theory literature. We study iterated Boolean games. These are games in which players repeatedly choose truth values for Boolean variables they have control over. Our model of iterated Boolean games assumes that players have goals given by formulae of Linear Temporal Logic (LTL), a formalism for expressing properties of state sequences. In order to model...
متن کاملPartial-order Boolean games: informational independence in a logic-based model of strategic interaction
As they are conventionally formulated, Boolean games assume that players make their choices in ignorance of the choices being made by other players – they are games of simultaneous moves. For many settings, this is clearly unrealistic. In this paper, we show how Boolean games can be enriched by dependency graphs which explicitly represent the informational dependencies between variables in a ga...
متن کاملRational verification in Iterated Electric Boolean Games
Electric boolean games are compact representations of games where the players have qualitative objectives described by LTL formulae and have limited resources. We study the complexity of several decision problems related to the analysis of rationality in electric boolean games with LTL objectives. In particular, we report that the problem of deciding whether a profile is a Nash equilibrium in a...
متن کامل